Basic research

Results: 2119



#Item
531

BRICS Basic Research in Computer Science BRICS RSL. R. Nielsen: A Selective CPS Transformation

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2001-09-06 04:55:00
    532

    BRICS Basic Research in Computer Science BRICS RSP. Quaglia: On the Finitary Characterization of π-Congruences On the Finitary Characterization of

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 1998-01-20 09:16:44
      533

      Promotion of Basic Research 3.2 Strategic Priority Setting in Science and Technology

      Add to Reading List

      Source URL: www.mext.go.jp

      Language: English - Date: 2015-04-20 21:07:10
        534

        BRICS Basic Research in Computer Science BRICS RSU. Nestmann: What Is a ‘Good’ Encoding of Guarded Choice? What Is a ‘Good’ Encoding of

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 1998-01-12 09:29:53
          535

          BRICS Basic Research in Computer Science ´ BRICS RSBloom & Esik: Some Remarks on Regular Words

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2002-10-25 07:19:58
            536

            BRICS Basic Research in Computer Science BRICS RSAceto & Laroussinie: Is your Model Checker on Time? Is your Model Checker on Time?

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 1999-10-05 19:49:32
              537

              BRICS Basic Research in Computer Science BRICS DS-03-1 C. Brabrand: Domain Specific Languages for Interactive Web Services

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2004-04-01 19:24:53
                538

                BRICS Basic Research in Computer Science BRICS RSMcKinna & Pollack: Some Lambda Calculus and Type Theory Formalized Some Lambda Calculus and Type Theory

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 1998-01-16 05:32:52
                  539

                  BRICS Basic Research in Computer Science BRICS RS-00-8 Mustafa & Pekeˇc: Democratic Consensus and the Local Majority Rule

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 2000-05-11 04:21:53
                    540

                    BRICS Basic Research in Computer Science BRICS RSCattani & Winskel: Presheaf Models for CCS-like Languages Presheaf Models for CCS-like Languages

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 1999-11-24 08:04:35
                      UPDATE